(0 17 15)(1 6 3)(2 12 10)(4 20 11)(5 13 7)(8 16 14)(9 19 18)
ALLOWS (11/8)-SEQUENCE
1: (4 11 20)

(0 17 15)(1 6 3)(2 12 10)(4 11 20)(5 13 7)(8 16 14)(9 19 18)
2: (2 12 10)

(0 17 15)(1 6 3)(2)(4 11 20)(5 13 7)(8 16 14)(9 19 18)(10)(12)
3: (4 11 20)

(0 17 15)(1 6 3)(2)(4)(5 13 7)(8 16 14)(9 19 18)(10)(11)(12)(20)
4: (1 6 3)

(0 17 15)(1)(2)(3)(4)(5 13 7)(6)(8 16 14)(9 19 18)(10)(11)(12)(20)